Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
41	UCL Working Papers in LinguisticsOn generics* ANNA PAPAFRAGOU Abstract Add to Reading List Source URL: papafragou.psych.udel.edu Language: English - Date: 2005-02-24 09:23:48 Semantics Quantification Philosophy of language Grammar Philosophical logic Proposition Logical Form Quantifier Meaning Logic Existential quantification
42	LNCSA Tutorial on Satisfiability Modulo Theories Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Symbol Conjunctive normal form
43	Appears in International Journal On Semantic Web and Information Systems - Special Issue on Web-Scale Knowledge Extraction, 2012 Elementary: Large-scale Knowledge-base Construction via Machine Learning and Statistical I Add to Reading List Source URL: www.cs.stanford.edu Language: English - Date: 2013-07-22 00:25:34 Logic Artificial intelligence Cognition Machine learning Computational linguistics Natural language processing Structured prediction Markov logic network Inference Logic form Probabilistic logic Statistical classification
44	Errors in Logic for Philosophy: 1. p. 60, step 5 of the proof for “contraposition 2” should cite step 4, not stepp. 61, two-thirds down the page, line 4 of the proof of the second form of negated-conditional s Add to Reading List Source URL: tedsider.org Language: English - Date: 2015-05-19 12:06:51
45	Learning a Compositional Semantics for Freebase with an Open Predicate Vocabulary Tom M. Mitchell Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 Add to Reading List Source URL: aclweb.org Language: English - Date: 2015-05-22 15:12:54 Grammar Logic Linguistics Cognitive science Argument Predicate Freebase Semantics FO Join Logical Form
46	THREE DAYS OF Ω-LOGIC PAUL B. LARSON The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathe Add to Reading List Source URL: www.users.miamioh.edu Language: English - Date: 2011-11-30 07:32:02
47	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe
48	A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2014-01-23 06:18:08 Mathematics Mathematical logic Logic Automated theorem proving Logic programming Set theory Mathematical notation Set-builder notation Substitution Universal quantification FO Associative property
49	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic Linguistics Philosophical logic Symbol Mixing Interpretation
50	The roles that artefacts play: Add to Reading List Source URL: www-edc.eng.cam.ac.uk Language: English - Date: 2013-04-03 15:22:38 Logic Function Interpretation Static single assignment form Mathematics Mathematical logic Functions and mappings

UPDATE